Software Quality Assurance by Laporte Claude Y. April Alain & Alain April

Software Quality Assurance by Laporte Claude Y. April Alain & Alain April

Author:Laporte, Claude Y.,April, Alain & Alain April
Language: eng
Format: epub
ISBN: 9781119312420
Publisher: John Wiley & Sons, Inc.
Published: 2017-11-23T00:00:00+00:00


V&V test documentation requirements

7.14 Limitations OF V&V

No technique can prevent all errors or defects. Regarding V&V, we note the following limitations [SCH 00]:

– Impracticability of testing all the data: for most programs, it is virtually impossible to try to review the program with all possible inputs, due to the multitude of possible combinations;

– Impracticability of testing all the branch conditions: for most programs, it is impractical to try to test all the possible execution paths of a software. This is also due to the multitude of possible combinations;

– Impracticability of obtaining absolute proof: there is no absolute proof of correctness of a software based system unless formal specifications can prove it to be correct and accurately reflect user expectations.



Download



Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.